1. A Short introduction to modal logic
پدیدآورنده : Mints, Grigori E.
کتابخانه: (طهران)
موضوع : ، Modality )Logic(
رده :
P
25
.
C28
No
.
30
2. A chance for possibility : an investigation into the grounds of modality
پدیدآورنده : Steinberg, Alexander, 9791-
کتابخانه: (طهران)
موضوع : ، Modality )Logic(,، Possibility,، Realism,، Supervenience )Philosophy(
رده :
BC
199
.
M6S73
3. A general interpreted modal calculus
پدیدآورنده : Bressan, Aldo
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Modality )Logic(,، Semantics )Philosophy(,، Description )Philosophy(,، Evidence
رده :
BC
199
.
M6
.
B73
1972
4. A new introduction to modal logic
پدیدآورنده : G. E. Hughes, M. J. Cresswell
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)
موضوع : Logic - Modality
رده :
BC
,
199
,.
H8
,
1996
5. A new introduction to modal logic
پدیدآورنده : Hughes, George Edward, 8191-
کتابخانه: (طهران)
موضوع : ، Modality )Logic(
رده :
BC
199
.
M6H8
1996
6. Actuality, Possibility, and Worlds
پدیدآورنده : \ Alexander Robert Pruss
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Modality (Logic),منطق موجهات,a05,a05,Modality (Logic) -- History. ,Possibility -- Psychological aspects.,منطق موجهات -- تاریخ,امکان -- جنبه های روانشناسی
رده :
BC
199
.
P7A25
2011
E-Book
,
7. Advances in modal logic
پدیدآورنده : / edited by Marcus Kracht ... [et al.]
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Modality (Logic)- Congresses
رده :
BC199
.
M6
,
A38
1998
8. Advances in modal logic
پدیدآورنده : editors Frank Wolter... ]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Modality )Logic(
رده :
BC
199
.
M6A39
9. Advances in modal logic
پدیدآورنده : / edited by Marcus Kracht ... [et al.]
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Modality (Logic)- Congresses
رده :
BC199
.
M6
,
A38
1998
10. An introduction to modal logic
پدیدآورنده : Hughes, G. E.)George Edward(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Modality )Logic(
رده :
BC
199
.
M6
H8
11. An introduction to modal logic
پدیدآورنده : Hughes, George Edward, 8191-
کتابخانه: (طهران)
موضوع : ، Modality )Logic(
رده :
BC
199
.
M6H8
12. Aristotle's Modal Logic
پدیدآورنده : \ Richard Patterson.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Modality (Logic),Metaphysics,(Essence (Philosophy,منطق موجهات,مابعدالطبیعه,ماهیت,a01,a02,a03,a01,a02,a03,Entailment (Logic)
رده :
B
437
.
P32A7
1995
E-Book
,
13. Arrow logic and multi-modal logic
پدیدآورنده : edited by Maarten Marx, Laszlo Polos, and Michael Masuch
کتابخانه: (طهران)
موضوع : ، Logic,، Modality )Logic(
رده :
BC
71
.
A77
14. Aspects of Aristotle's logic modalities
پدیدآورنده : Rijen, Jeroen Van, 0591-
کتابخانه: (طهران)
موضوع : ، Aristotle, 383 B.C. - 123 B.C.,، Modality )Logic(
رده :
B
491
.
L8R55
1989
15. Aspects of aristotle's logic of modalities
پدیدآورنده : / Jeroen Van Rijen
کتابخانه: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع : Aristotles-contribuions in logic of modalities,Modality(logic)
رده :
166
R5725a
16. Aspects of aristotle's logic of modalities
پدیدآورنده : / Jeroen Van Rijen
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Aristotle - Contributions in logic of modalities,Modality (Logic)
رده :
B491
.
L8R55
1989
17. Automated proof search in non-classical logics : efficient matrix proof methods for model and intuitionistic logics
پدیدآورنده : Wallen, Lincoln A.
کتابخانه: (طهران)
موضوع : ، Proof theory,، Modality )Logic(,، Intuitionistic mathematics
رده :
QA
9
.
54
.
W35
1990
18. Between saying and doing :towards an analytic pragmatism
پدیدآورنده : Brandom, Robert.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Pragmatism,، Analysis )Philosophy(
رده :
B832
.
B67
2008
19. Causality,method and modality=essays in honor of Jules Vuillemin:with a complete bibliography of Jules Vuillemin
پدیدآورنده : / Edited by Grodon G.Brittan
کتابخانه: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع : Causation,Philosophy,Vuillemin Jules
رده :
120
B862c
20. Coherent systems
پدیدآورنده : / Karl Schlechta
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Nonmonotonic reasoning,Algebraic logic,Semantics- Mathematical models,Modality (Logic)
رده :
Q339
.
2
.
S35
2004